1. Advances in the design of symbolic computation systems
Author: / A. Miola and M. Temperini (eds.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: System design,Object-oriented programming (Computer science),Mathematics -- Data processing
Classification :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
Author: A. Miola and M. Temperini )eds.(,Series
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
Classification :
QA
.
S88
,
A38
76
.
9
1997
3. An Introductionn to Discrete Mathematics, Formal System Specification and Z
Author: / C.C. Ince
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science _ Mathematics.,System Design.
Classification :
QA76
,.
9
.
M
35
4. An introduction to discrete mathematics and formal system specification
Author: Ince, Darrel
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35
I53
1988
5. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, Darrel C.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، System design
Classification :
QA
76
.
9
.
M35I53
1992
6. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, Darrel
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Mathematics ، Computer science,، System design
Classification :
QA
76
.
9
.
M35153
1992
7. An introduction to discrete mathematics formal system specification and Z
Author: D. C. Ince
Library: Central library and Documentation Center (Zanjan)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35153
1992
8. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, D.)Darrel(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35
I53
1992
9. An introduction to discrete mathematics formal system specification, and z
Author: / D.C.Ince
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-Mathematics,System design
Classification :
QA76
.
9
.
M35
,
153
1992
10. An introduction to discrete mathematics, specification, and Z
Author: Ince, D. )Darrel(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، System design
Classification :
QA
76
.
9
.
M35
.
I53
1992
11. FME 2002 :
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2002
12. FME 2003 :
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2003
13. Process algebra with timing
Author: by J.C.M. Baeten, C.A. Middelburg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Discrete-time systems.,System design.
Classification :
QA76
.
9
.
S88
B953
2011
14. Process algebra with timing
Author: / J.C.M. Baeten, C.A. Middelburg
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: System design,Discrete-time systems,Computer science -- Mathematics
Classification :
QA
76
.
9
.
S88B32
2002
